Aus dem Max Delbrück Centrum für Molekulare Medizin DISSERTATION Effects of deep brain stimulation (DBS) on microglia phenotype in rodent model of psychiatric disorder zur Erlangung des akademischen Grades

Aus dem Max-Delbrück-Centrum für Molekulare Medizin Berlin Zelluläre Neurowissenschaften DISSERTATION New insights into TRPV1 function in the brain under physiological and pathological conditions

Aus dem Institut für Neurophysiologie der Medizinischen Fakultät Charité – Universitätsmedizin Berlin DISSERTATION “Disturbance of blood brain barrier in the hippocampus and spreading depolarisation in a model of cortical stroke” zur Erlangung des akademischen Grades

DISSERTATION " Disturbance of blood brain barrier in the hippocampus and spreading depolarisation in a model of cortical stroke " zur Erlangung des akademischen Grades Medical Doctor-Doctor of Philosophy (MD/PhD)

Aus der Klinik für Neurologie der Medizinischen Fakultät Charité – Universitätsmedizin Berlin DISSERTATION Injury-induced DNA methylome plasticity in the peripheral nervous system of the rat zur Erlangung des akademischen Grades

.............................................................................................................................1 Zusammenfassung............................................................................................................3 Index of abbreviations........................................................................................................5

Aus dem Institut für Virologie des Fachbereichs Veterinärmedizin der Freien Universität Berlin Membrane Topology and Processing of the Minor Glycoproteins of Equine Arteritis Virus Inaugural-Dissertation zur Erlangung des Grades eines Ph.D. am Fachbereich Veterinärmedizin an der Freien Universität Berlin

Abstract state machines: verification problems and complexity

State Machines: Verification Problems and Complexity Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der Rheinisch-Westfälischen Technischen Hochschule Aachen zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertation vorgelegt von Diplom-Informatiker Marc Spielmann aus Duisburg Referent: Universitätsprofessor Dr. E. Grädel Koreferent...